On the programs-as-formulas interpretation of parallel programs in peano arithmetic
نویسندگان
چکیده
منابع مشابه
Peano Arithmetic as Axiomatization of the Time Frame in Logics of Programs and in Dynamic Logics
Biro, B. and I. Sain, Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics, Annals of Pure and Applied Logic 63 (1993) 201-225. We show that one can prove the partial correctness of more programs using Peano’s axioms for the time frames of three-sorted time models than using only Presburger’s axioms, that is it is useful to allow multiplication of tim...
متن کاملFormulas as Programs
We provide here a computational interpretation of first-order logic based on a constructive interpretation of satisfiability w.r.t. a fixed but arbitrary interpretation. In this approach the formulas themselves are programs. This contrasts with the so-called formulas as types approach in which the proofs of the formulas are typed terms that can be taken as programs. This view of computing is in...
متن کاملinvestigating the integration of translation technologies into translation programs in iranian universities: basis for a syllabus design in translation technology
today, information technology and computers are indispensable tools of any profession and translation technologies have become an indispensable part of translator’s workstation. with the increasing demands for high productivity and speed as well as consistency and with the rise of new demands for translation and localization, it is necessary for translators to be familiar with market demands an...
On Arithmetic Branching Programs
The model of arithmetic branching programs is an algebraic model of computation generalizing the model of modular branching programs. We show that, up to a polynomial factor in size, arithmetic branching programs are equivalent to complements of dependency programs, a model introduced by Pudll ak and Sgall 20]. Using this equivalence we prove that dependency programs are closed under conjunctio...
متن کاملPeano Arithmetic
The project is designed for an upper level undergraduate course in mathematical logic. Although the project is relatively short, some of the exercises are not as easy as they appear. Instructors may wish to spend some class time on discussing how formal proofs should be conducted, and also provide some additional assistance with completing some of the exercises. The last part of the project ass...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1988
ISSN: 0168-0072
DOI: 10.1016/0168-0072(88)90024-3